#include "stdio.h"
#include "string.h"
#include "Delay.h"
#include "SystemFunction.h"
#include "stm32f4xx.h" 


void SystemReboot(void)
{
    //shellClear();
    printf("system rebooting!!!\r\n");
    delay_ms(3000);
    __set_FAULTMASK(1);
    NVIC_SystemReset();
}
